-
1 доказательство
1) argument
2) <math.> demonstration
3) evidence
4) proof
– доказательство от противного
– доказательство существования
– косвенное доказательство
– несводимое доказательство
– строгое доказательство
доказательство адекватности модели — model validation
-
2 что
what
– вышло что
– допустим что
– замечая что
– затем что
– потому что
– при условии что
– так что
– то во что вложен капитал
– только что
– убеждаться в том что
– что бы ни
– что и требовалось доказать
– что касается
ввиду того что — as, in view of the fact that
имеется доказательство что — there is evidence that
основываться на том допущении что — be based on the assumption that
-
3 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4. -
4 evidence
1) явность
2) улика
3) очевидность
4) основание
5) довод
6) доказательство
7) показание
8) свидетельство
– contradictiry evidence
– keep in evidence
-
5 evidence
-
6 Relāta refero
"Рассказываю рассказанное", т. е. передаю, что слышал.Латинская формулировка принципа исторического повествования, высказанного греческим историком Геродотом ("История", VII, 152): "я обязан рассказать рассказанное, но верить всегда этому я не обязан; пусть это слово мое имеется в виду во всем, что я рассказываю"....профессор Цёльнер [ Цёльнер, Иоганн (1834-1882) - немецкий астрофизик, приверженец спиритизма. - авт. ] обратился к одному или нескольким медиумам, чтобы с их помощью установить дальнейшие подробности относительно местонахождения четвертого измерения - Духи, играючи, произвели все чудеса четвертого измерения. Заметьте при этом: relata refero, я не отвечаю за правильность того, что сообщают бюллетени духов, и если в них имеются неправильные сообщения, то г-н Цёльнер должен быть благодарен мне за повод исправить их. (Ф. Энгельс, Диалектика природы.)Вы, конечно, уже читали в журналах об аресте Видока и о предании суду - Лендрю согласился быть его адвокатом - и уверяет, что он спасет его; будто Видок имеет неоспоримое доказательство, что он спас жизнь короля в каком-то заговоре; будто в его руках честь и стыд многих сановников и проч., и проч. Relata refero - и за Видока не ручаюсь. (А. И. Тургенев, Хроника русского в Париже.)Латинско-русский словарь крылатых слов и выражений > Relāta refero
-
7 теорема
theorem• Более слабая форма теоремы 1 может быть выведена из... - A weaker form of Theorem 1 can be deduced from...• В следующей теореме мы устанавливаем дальнейшие свойства... - In the next theorem we obtain further properties of...• В следующей теореме рассматривается случай, в котором/ когда... - The next theorem deals with the case in which...• Важное следствие данной теоремы состоит в том, что... - An important consequence of this theorem is that...• Возвращаясь теперь к доказательству основной теоремы, мы... - Returning now to the proof of the main theorem, we...• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Данная теорема немедленно вытекает из... - The theorem follows at once from...• Данная теорема остается справедливой даже если... - The theorem is still true even if...• Данная теорема по-прежнему справедлива в тривиальном случае, если... - The theorem still holds in a trivial sense if...• Данная теорема принадлежит Гауссу. - This theorem is due to Gauss.• Данная теорема является непосредственным следствием... - This theorem is a direct corollary of...• Данный результат принадлежит Гауссу. Давайте сформулируем его как теорему. - This result is due to Gauss. Let us formulate it as a theorem.• Для доказательства второго утверждения теоремы мы выписываем... - То prove part (ii), we write...• Для удобства сформулируем здесь данную теорему. - We state this theorem here for convenience.• Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.• Его результаты могут быть подытожены следующей теоремой. - His results may be summed up in the following theorem.• Из теоремы 1 мы легко выводим ряд важных следствий. - From Theorem l we easily deduce a number of important consequences.• Из этих результатов мы выводим следующую важную теорему. - Prom these results we deduce the following important theorem.• Имеется хорошо известная теорема о... - There is a well-known theorem on...• Как мы увидим из дальнейшего, данная теорема является основой для... - This theorem, as we shall see, is the basis of...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы можем сразу применить данную теорему, чтобы найти... - We can at once apply this theorem to find...• Мы можем сформулировать этот результат в виде теоремы. - We can state the result as a theorem.• Мы можем, конечно, применить теорему 1 к случаю, где/ когда... - We can, of course, apply Theorem 1 to the case where...• Мы надеемся доказать подобную теорему, хотя, возможно, и при дополнительных ограничениях. - We expect to prove such a theorem, although possibly under additional restrictions.• Мы надеемся установить теорему относительно... - We hope to obtain a theorem regarding...; We hope to establish a theorem regarding...• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы рассуждаем точно как при доказательстве теоремы 1. - We argue exactly as in the proof of Theorem 1.• Немедленным следствием теоремы 1 является следующее (утверждение). - An immediate consequence of Theorem 1 is the following.• Несколько более глубокая теорема была доказана Смитом [1]. - A slightly deeper theorem is proved by Smith [1].• Нижеследующая теорема дает условия, при которых... - The following theorem gives conditions under which...• Нижеследующая теорема является основой для дальнейших приложений. - The next theorem is basic to the applications that follow.• Однако следующая теорема показывает, что... - The next theorem shows, however, that...• Первая часть теоремы уже была доказана. - The first part of the theorem has already been proved.• Поверхностное прочтение данной теоремы могло бы привести к убеждению, что... - A superficial reading of this theorem might lead one to believe that...• Последнюю теорему можно расширить, чтобы включить... - The last theorem can be extended to include...• Применяя данную теорему, важно проверить, что... - When applying the theorem it is essential to check that...• Простое но полезное следствие теоремы 1 состоит в том, что... - A simple but useful consequence of Theorem 1 is that...• Рассмотрим эту теорему с точки зрения геометрии. - Let us consider this theorem geometrically.• Следующая теорема обеспечивает более глубокое понимание (чего-л). - The next theorem provides more insight into...• Следующая теорема дает другое расширение... - The following theorem gives another extension of...• Следующая теорема дает полезный тест для проверки, действительно ли... - The following theorem gives a useful test for determining whether...• Следующая теорема известна как... - The next theorem is known as...• Следующая теорема имеет приложения при изучении... - The next theorem has applications in the study of...• Следующая теорема обобщает хорошо известное свойство... - The following theorem generalizes a well-known property of...• Следующая теорема позволяет нам показать, что... - The following theorem enables us to show that...• Следующая теорема показывает как можно сделать это определение строгим. - The following theorem shows how this notion can be made precise.• Следующая теорема является прямым обобщением... - The following theorem is a direct generalization of...• Следующая теорема является ценной в этом контексте. - The following theorem is valuable in this context.• Следующие теорема и следствие являются немедленными последствиями... - The following theorem and corollary are immediate consequences of...• Следующий результат является переформулировкой теоремы Гаусса. - The following result is a restatement of Gauss's theorem.• Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Таким образом, теорема может быть переформулирована следующим образом. - Thus the theorem can be rephrased as follows.• Теорема Тейлора чрезвычайно полезна для изучения... - Taylor's theorem is extremely useful for the study of...• Теорема не сообщает ничего о... - The theorem says nothing about...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.• Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.• Теперь мы подходим к серии теорем, касающихся... - We now come to a series of theorems concerning...(= модификации), если... - The statement of the theorem needs modification if...• Хорошо известная теорема математического анализа утверждает, что... - A well-known theorem of analysis states that...• Частным случаем этой теоремы является... - A particular case of this theorem is that...• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...• Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...• Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...• Эта теорема обеспечивает нас... - This theorem provides us with...• Эти две теоремы совместно показывают, что... - These two results together show that...• Эти теоремы вполне аналогичны теоремам относительно... - These theorems are closely analogous to those concerning...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это и завершает доказательство теоремы. - This proves the theorem; The proof of the theorem is finished; Q. E. D.• Это свойство является следствием следующей теоремы. - This property is a consequence of the following theorem. -
8 предположение
(= гипотеза) supposition, hypothesis, suggestion, assumption, premise, conjecture, presumption, guess, proposal• Будем отыскивать противоречие с предположением, что... - We shall seek a contradiction to the assumption that...• Было сделано предположение, что... - It was assumed that...• В (1) неявно принимается предположение, что... - Implicit in (1) is the assumption that...• В данном параграфе делаются следующие предположения:... - In this section the following assumptions are made: (i)...• В данном подходе имеется неявное предположение, что... - Implicit in this viewpoint is the assumption that...• В этой модели делается неявное предположение, что... - Implicit in this model is the assumption that...• Возможно, это разумное предположение, что... - It is probably a reasonable assumption that...• Все эти исследования основываются на одном и том же предположении. - All these studies rest on the same assumption.• Данное доказательство существенно опирается на наше предположение о том, что... - The proof rests fundamentally on our assumption that...• Данный результат объясняется и качественно, и количественно предположением, что... - This result is both qualitatively and quantitatively explained by the assumption that...• Джонс делает предположение, что... - Jones makes the assumption that...• До сих пор мы не делали предположений относительно... - So far we have made no assumptions regarding...• Другое рабочее предположение состоит в том, что... - Another working assumption is that...• Если это предположение неверно, то... - If this assumption is wrong, then...• Затем, согласно предположению,... - Then, by hypothesis,...• Здесь мы уже сделали два важных предположения. - Here we have made two important assumptions.• Имеется несколько причин, по. которым в этом предположении следует усомниться. - There are several reasons why this assumption should be questioned.• Интересно предположение, действительно ли... - It is interesting to speculate whether...• Исходя из ошибочного предположения, что... - On the mistaken assumption that...• Каждая из этих теорий включает в себя предположения относительно... - Each of these theories involves assumptions about...• Можно было бы попытаться объяснить этот эффект предположением, что... - One could try to explain this effect by assuming that...• Мы будем придерживаться нашего начального предположения, что... - We shall maintain our initial assumption that...• Мы делаем обычное предположение, что... - We make the usual assumption that...• Мы делаем это в предположении, что... - We do this on the assumption that...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы исходим из предположения... - We proceed from the assumption that...; We operate on the premise that...• Наиболее просто это было объяснено предположением, что... - This was most simply explained by the supposition that...• Напоминаем, что по отношению... не было введено никаких предположений. - Recall that no assumptions have been made with regard to...• Наши рассуждения в предыдущем параграфе могли бы привести нас к предположению, что... - Our work in the previous section might lead us to suspect that...• Нашим начальным предположением было то, что... - Our initial assumption was that...• Необходимо сделать некоторое предположение относительно... - It is necessary to make some assumption regarding...• Неявно в этом предположении содержится... - Implicit in this assumption is that...• Обоснование данного предположения затрагивает теорию... - The justification of this assumption involves the theory of...• Обоснование для этих предположений находится единственно в... - The justification of these assumptions lies solely in...• Однако мы никогда не вводили никаких предположений относительно... - At no time, however, have we made any assumptions regarding...• Однако не менее важным является предположение, что... - Equally important, however, is the assumption that...• Они были выведены в предположении, что... - These were derived on the assumption that...• Они ввели простое предположение, что... - They made the simple assumption that...• Относительно... здесь не делается никаких предположений. - No assumption is made here about...• Предыдущее уравнение базируется на предположении... - The above equation is based on the assumption that...• Предыдущие рассуждения базируются на предположении... - The foregoing arguments rely on the assumption that...• Предыдущие результаты были получены в рамках предположения... - The above results have been obtained under the assumption of...• При более слабых предположениях о регулярности начальных данных... - Under weaker regularity assumptions on initial data...• При этих предположениях относительно к мы получаем... - Under the assumptions made on к, we get...• Простейшее разумное предположение состоит в том, что... - The simplest reasonable assumption is that...• Распространенной ошибкой является предположение, что... - It is a common error to suppose that...• Следовательно, мы выдвигаем предположение, что... - We therefore conjecture that...• Справедливость данного предположения будет рассмотрена позднее, когда... - The validity of this assumption will be considered further when...• Теперь мы исключим предположение, что... - We now remove the assumption that...• Теперь это предположение доказано, так как... - This assumption has now been justified, since...• Тест основывается на предположении о том, что... - The test rests on the assumption that...• Хотя такое предположение кажется правдоподобным,... - Although such an assumption seems plausible,...• Чтобы доказать это утверждение, мы сделаем упрощающее предположение, что... - То prove this statement, we make the simplifying assumption that...• Чтобы избежать неуместных усложнений, мы сделаем упрощающее предположение, что... - То avoid undue complication we make the simplifying assumption that...• Эти результаты согласуются с предположением, что... - These results are consistent with the assumption that...• Это очень грубое предположение влечет за собой... - This very crude assumption yields...• Это предположение игнорирует тот факт, что... - The assumption ignores the fact that...• Это предположение согласуется с... - The assumption is consistent with...• Это противоречит предположению, что... - This is contrary to the hypothesis that...• Это противоречит широко используемому предположению, что... - This is contrary to the widely used assumption that...• Это решение основано/основывается на предположении, что... - This solution is based on the assumption that...• Это является следствием предположения относительно существования... - This is a consequence of assuming the existence of...• Этот результат не зависит ни от каких предположений относительно... - This result is independent of any assumption about... -
9 идея
idea, notion, concept• (Все) эти теории имеют общую идею (= концепцию), что... - These theories have in common the idea that...• Безусловно, читатель знаком с идеей, что... - The reader is no doubt familiar with the idea that...• В третьей главе мы увидим другое обобщение той же основной идеи. - In Chapter 3 we shall meet another generalization of the same basic idea.• Важно уметь применять идею (= концепцию)... - It is important that we be able to apply the concept of...• Введенные в этой главе идеи подведут нас ближе к... - The ideas introduced in this chapter will bring us closer to...• Вернемся кратко к идее (чего-л). - Let us return briefly to the idea of...• Высказанные ранее идеи теперь могут быть обобщены. - The preceding ideas can now be generalized.• Дальнейшее рассуждение затем привело бы к идее... - Further argument would then lead to the idea of...• Данная идея получила свое начало при исследовании... - The idea originated with the study of...• Идея состоит в следующем. - The idea is as follows.• Имеется мнжество подтверждений идеи, что... - There is a great deal of evidence for the idea that...• Имеется много других примеров, иллюстрирующих основную идею (чего-л). - There are many other examples which illustrate the basic idea of...• Лежащая в основе этого идея состоит в том, что... - The underlying idea is that...• Лежащие в основе (этого) идеи настолько просты, что... - The ideas involved here are so simple that...• Много идей было выдвинуто для объяснения... - Many ideas were put forward to explain...• Многие идеи и результаты последней главы могут быть распространены на случай... - Many of the ideas and results of the last chapter can now be extended to the case of...• Многие идеи, рассматриваемые в данной главе, (являются)... - Many of the ideas appearing in this chapter are...• Мы будем предполагать, что читатель обладает очевидной интуитивной идеей... - We shall assume that the reader has a clear intuitive idea of...• Мы могли бы обобщить эти идеи. - We may extend these ideas.• Мы можем обобщить эту идею, вводя... - We can generalize this idea by introducing...• Мы можем также использовать (= приложить) здесь идею... - We may also apply the concept of...• На самом деле, подобные неопределенные идеи ничего нам не говорят. - Such vague ideas really tell us nothing.• Проще всего понять эту идею можно, рассматривая... - The idea is most easily understood by examining...• Один из ответов на данный вопрос находится в идее... - One answer to this question lies in the concept of...• Однако в общем случае эта идея имеет небольшую область приложений. - However, this idea has little application in general.• Основная идея состоит в том, что... - The basic idea is that...• Основной идеей этого параграфа является то, что... - The main idea of this section is that...• Основные идеи, намеченные в данном параграфе, могут быть проиллюстрированы (чем-л). - The points made in this section can be illustrated by...• Полная идея становится точной (путем, если и т. п.)... - The whole idea is made precise by...• Последняя идея потеряла большую часть своей значимости, потому что... - The latter idea lost much of its significance because...• Похоже, что большинство физиков одобряет идею, что... - Most physicists seem to accept the notion that...• Предыдущее обсуждение приводит к идее, что... - The preceding discussion leads to the idea that...; The foregoing discussion gives an idea of...• Приведем теперь идею доказательства теорем 2 и 3. - Let us now give an idea on how to prove Theorems 2 and 3.• Проблема, которую мы обязаны позднее рассмотреть для применения данной идеи, состоит в том, что... - A problem that we must eventually face in making use of this concept is...• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• С самого начала физики приняли идею, что... - Prom the beginning, physicists have accepted the notion that...; From the outset, physicists have accepted the notion that...• Сделаем эти идеи более понятными, рассматривая... - Let us make these ideas clearer by considering...• Сейчас мы кратко изложим основную идею (чего-л). - Let us present in a nutshell the main idea behind...• Следовательно, мы могли бы принять за аксиому идею, что... - Therefore we may take as axiomatic the idea that...• Следовательно, следующим естественным шагом является идея, что... - It is thus a natural step to think of...• Следующим шагом было применение идеи... - The next step was to apply the idea of...• Смит [1] убедительно аргументирует против идеи, что... - Smith [1] argues effectively against the notion that...• Центральная идея, лежащая в основе этих утверждений, состоит в том, что... - The essential idea underlying these statements is that of...• Центральной идеей здесь является то, что... - The essential idea here is that...• Так лее просто эти идеи могут быть сформулированы (и) для... - These ideas can be formulated just as easily for...• Только что изложенная идея была использована, чтобы... - The idea just outlined has been used to...• Центральной идеей, на которой основывался подход Смита [1], была... - The essential idea behind Smith's approach was that...• Чрезвычайно близкие идеи используются для (= в)... - Precisely similar ideas are applicable to...• Чтобы конкретизировать эту идею, давайте... - То make this idea more concrete, let...• Чтобы упорядочить все эти идеи подходящим образом, мы... - In order to place these ideas in their proper framework, we...• Эйнштейн использовал (- применил) точно те же самые идеи в (= при рассмотрении)... - Einstein applied precisely the same ideas to...• Эта идея (= мысль) выражается более точно в... - This idea is expressed more precisely in...• Эта идея будет объясняться ниже. - This idea will be clarified below.• Эта идея одновременно самодостаточна и привлекательна, однако... - This idea is both self-contained and attractive, but...• Эта идея удивительно близка к... - This idea is remarkably close to...• Эта идея уже была использована Смитом [1], который предлагает, что(бы)... - This idea has been exploited by Smith [1], who suggests that...• Эта простая, но все же глубокая идея... - This simple yet profound idea...• Эти идеи были развиты целым рядом авторов. - The material has been developed by a number of contributors.• Эти идеи получают немедленно приложение к/в... - These ideas have immediate application in...• Этим путем мы приходим к мысли (= идее) о... - In this way we arrive at the idea of...• Это весьма настойчиво подталкивает нас к идее, что... - This suggests quite strongly that...• Это заключение базируется на тех же идеях, которые приводят к... - This conclusion is based on the same ideas that lead to...• Это очевидным образом связано с известной и интуитивной идеей, что... - This is obviously related to the familiar and intuitive idea that...• Это приводит нас к идее постулировать существование... - This leads us to postulate the existence of...• Это фундаментальная идея, лежащая в основании (решения, процесса и т. п.)... - This is the fundamental idea behind...• Эту идею легко понять, однако... - The idea is easily understood, but... -
10 van
есть быть* * ** * *[volt, legyen, volna/lenne] 1. (létezik, fennáll) быть, существовать;gondolkodom, tehát vagyok я мыслю, следовательно я существую; egyszer volt, hol nem volt (mesében) жил-был; volt egyszer egy király жил-был король/царь;\van is, nincs is — и есть и нет;\van igazsági — есть правда не свете!;
volt, nincs было да сплыло;2. (akad, előfordul) быть, бывать, существовать, встречаться, иметься; быть v. иметься налицо v. в наличии;\vannak még jó emberek — есть добрые люди; \vannak (olyan) emberek, akik — … есть v. существуют люди; которые …; \vannak ilyen esetek is — бывают и такие случаи; erről fényképfelvételek \vannak — об этом имеются фотоснимки; még \van idő — ещё есть время; время ещб не ушло; ma (végre) szép napos idő \van — сегодня, наконец, красивый солнечный день; сегодня выдался солнечный денёк; \vannak idők, amikor — … бывают времена, когда …; ha \vannak ilyenek (személyek) — если таковые имеются;erre bizonyítékunk \van — у нас есть доказательство этого;
kellemetlenségei voltak у него были v. вышли неприятности;\vannak pillanatok, amikor — … есть v. бывают v. случаются мгновения, когда …; \van (olyan) vélemény, hogy — … существует мнение, что …;a könyvtárban sok könyv. \van — в библиотеке имеется много книг;
3. (vmilyen mennyiségben) насчитывать(ся);a városnak kétszázezer lakosa \van — город насчитывает двести тысяч жителей;az iskolában hatvan tanuló \van — в школе насчитывается шестьдесят учеников;
hány perc \van egy órában ? сколько минут в часу ? 4.vmiben — содержаться в чём-л.;
átv. (vmiben rejlik) заключаться в чём-л.;a könyvben sok ellentmondás \van — в книге содержится v. имеется много противоречий;
a szövegben sok ismeretlen szó volt в тексте оказалось много незнакомых слов;átv.
а nehézség abban \van, hogy — … трудность заключается в том, что …;5. (térbelileg, vhol) находиться, быть, помещаться, оказываться, водиться, иметься; (csak tárgyról) лежать, стоить; (vmilyen távolságra) отстойть от чего-л.; (letétben, pl. múzeumban) храниться;a pénztár a földszinten \van — касса находится на первом этаже; a hivatal ebben a házban \van — учреждение помещается в этом здании; (ő) most Moszkvában \van теперь он находится в Москве; a tányér a szekrényben \van — тарелка стоит в шкафу;a könyv. az asztalon \van — книга (лежит) на столе;
a szobában két egyetemista volt в комнате находилось двое студентов;a város öt kilométerre \van innen — город отстоит на пять километров отсюда;
6.csüggedt/ levert állapotban \van — пребывать в унынии; elhanyagolt állapotban \van — находиться в состой нии запущенности;vmilyen állapotban \van — быть, находиться, пребывать в чём-л.;
7. (vmikor) быть, бывать, иметь место; (bizonyos ideig tart) пробить, просуществовать; (időjárási jelenségekről) стоять;néhány napig lesz a fővárosban он пробудет несколько дней в столице; vagy tíz percet volt ott он пробыл там минут десять;köd \van — стоит туман;
forró napok voltak стоили жаркие дни;8. (történik, előadódik) быть, бывать, происходить/произойти, случаться/случиться;mi \van? — ну, что? ну, как? mi \van itt? mi ez a lárma? что здесь творится? что ото за шум ? ez úgy volt, hogy … это было так, что …;
szól. így szokott az lenni это так бывает;gyűlések havonta egyszer \vannak — митинги бывают раз в месяц;
9.(személyre vonatkozó kifejezésekben) hogy \van ? — как поживаете? как (идут) дела? hogy \van(nak)/vagy(tok) ? как (ваши) дела ? mi \van vele ? что с ним ? mi \van magával? что с вами? mi lesz velem? что будет со мной? куда мне деваться? mi lett vele/belőle? что с ним сталось? nem tudom, hová legyek unalmamban не знаю куда деваться от скуки;
mihez kezdünk, ha ő már nem lesz ? что мы будем делать, когда её не станет? 10.vkije \van vkinekvkinek, vminek \van vkije, vmije — иметь; быть у кого-л.; (tartalmaz) содержать;
a) (hozzátartozója) — иметь родню/родственников;b) (szerelmese) у него есть любовница; (nőről) у неё есть любовник;fájdalmai \vannak — у него болит что-л.;gyerekei \vannak — иметь детей; \van jövője — иметь будущее/ будущность; \van egy könyvem — у меня есть книга; mindegyik tanítványomnak \van saját könyve — у каждого из моих учеников свой книга; \van lehetősége vmit megtenni — иметь возможность сделать что-л.; \van pénze — иметь деньги; szép szeme \van — у него красивые глаза;11. (igei-névszói állítmány részeként) быть, являться;fáradt vagyok я устал; nagyon kimerült volt он был очень утомлён(ным); jó pedagógus volt он был хорошим педагогом; megérkezése nagy öröm volt számunkra ваш приезд явился большой радостью для нас; 12.éppen erről \van szó — вопрос состоит именно в этом;szól.
\van benne valami! (igaz lehet) — кое в чём это так; ты отчасти прав;lesz, ami lesz будь что будет! что будет, то будет! где наша не пропадала! пропадай мой телега, все четыре колеса!;legyen (úgy)! пусть его! -
11 основной
(= центральный, определяющий, доминирующий) basic, basis, fundamental, principal, main, key, primary, essential, general, major, dominant, chief• Безусловно, это следует сделать точно, однако в основном это означает, что... - This has to be made precise of course, but essentially it means that...• В основном мы следуем процедуре (= методу)... - In essence we follow the procedure of...• В основном он используется в/ при... - It is principally used in...• В основном имеется лишь один способ, чтобы... - There is essentially only one way to...• В основном мы занимаемся (чем-л). - We are concerned, for the most part, with...• В основном существуют два типа... - There are basically two types of...• В основном это обобщение (чего-л). - This is essentially a generalization of...• В основном это проблема (чего-л). - - This is essentially a matter of...• В третьей главе мы увидим/встретим другое обобщение той же самой основной идеи. - In Chapter 3 we shall meet another generalization of the same basic idea.• В этой книге мы будем заниматься в основном... - In this book we shall be concerned essentially with...• Возвращаясь теперь к доказательству основной теоремы, мы... - Returning now to the proof of the main theorem, we...• Основная часть вопрос... все еще остается без ответа, хотя... - The question of... is still largely unanswered, although...• Вычисления в основном являются такими же, как... - The calculations are essentially the same as...• Здесь мы, в основном, интересуемся... - Here we are mainly interested in...• Имеется много других примеров, иллюстрирующих основную идею (чего-л). - There are many other examples which illustrate the basic idea of...• Имеются два основных типа (уравнений и т. п.). - There are two major types of...• Кажется, имеются две основные причины (для)... - There seem to be two principle causes for...• Напротив, метеоролог рассуждает в основном в терминах... - The meteorologist, on the other hand, thinks mainly in terms of...• Наш основной результат состоит в следующем. - Our main result is the following.• Наш основной результат состоит в том, что... - Our main result will be that...• Нашей основной целью является описание систематических методов для... - Our first concern is to describe systematic methods for...• Однако в приложениях в основном более полезно думать о... - In application, however, it is generally more useful to think of...• Основная проблема состоит в том, чтобы определить... - The main problem is to determine...• Основное (= существенное) требование, предъявляемое к... состоит в том, чтобы... - The essential feature required of... is that...• Основное преимущество данного метода заключается в том, что... - The chief advantage of the method is that...• Основной идеей здесь является то, что... - The essential idea here is that...• Основной идеей этого параграфа является то, что... - The main idea of this section is that...• Основной слабостью метода является... - The main weakness of the method is...• Основной упор в данном параграфе будет сделан на... - The main emphasis in this section will be on...• Основной целью данной книги является... - The principal aim of the present book is to...• Основным вопросом данной главы является... - Our main business in this chapter is to...• Основным моментом (здесь) является то, что... - The fundamental point is that...• Основным пунктом является то, что... - The main point is that...• Пример 3 иллюстрирует основной принцип... - Example 3 illustrates the general principle that...• Существует несколько основных причин для... - There are several basic reasons for...• Существуют три основных критерия, управляющих... - There are three major criteria governing...• Существуют три основных способа сделать это. - There are three principal ways in which this can be done.• Таким образом, важно узнать основные свойства... - Thus, it is important to understand the basic properties of...• Таким образом, получен следующий основной результат:... - The following key results are therefore obtained:...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert• Эти две основные возможности иллюстрируются на рис. 1. - The two main possibilities are illustrated in Figure 1.• Это делается в основном потому, что... - This is done, essentially, because...• Этот результат в основном согласуется с... - This result is broadly consistent with... -
12 убедительный
convincing, conclusive, striking, well founded• Мы уже накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Однако требуются более убедительные свидетельства для того, чтобы материализовать требование, что... - More convincing evidence is needed, however, to substantiate the claim that...• Теперь имеется убедительное свидетельство, что... - There is now conclusive evidence that...• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Это дает убедительное доказательство того, что... - This provides strong evidence that; This is strong proof that; It is good evidence for -
13 другой
other, another, different, more, else• Безусловно, существует много других форм... - There are, of course, many other forms of...• В качестве другого примера мы можем проверить... - As a further example we may examine...• Второй член в другой части уравнения... - The second term on the other hand of the equation...• Другим важным замечанием является то, что... - Another important remark is that...• Другими словами, возможно, что... - In other words, it is possible that...• Другими словами, мы бы ожидали... - In other words, we would expect...• Другими словами, мы ищем... - In other words, we seek...• Другими словами, мы хотим... - In other words, we wish to...• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Другой возможностью является... - Another possible alternative is to...• Другой интересный результат, принадлежащий Риману, состоит в том, что... - Another interesting result, due to Riemann, is that...• Другой крайностью является... - At the other extreme is...• Другой метод был предложен Джонсом [1]. - A different method has been given by Jones [1].• Другой точки зрения придерживался Джонс [1], который... - A different view was held by Jones [1], who...• Имеется и другой смысл... - There is another sense in which...• Как мы сейчас увидим, это другая ситуация. - But here the situation is different, as we shall now see.• Мы можем взглянуть на это с другой стороны. - We can look at this in another way.• Мы можем получить то же самое заключение другим способом в случае, когда... - We can reach the same conclusion in another way for the case of...• Мы можем сказать (= сформулировать) это же в другой форме:... - Another way of saying this is...• Мы принимаем совершенно другой метод. - We adopt an entirely different method.• Однако имеется другая причина того, что... - But there is another reason that...• Однако совершенно другое дело... - It is, however, quite a different matter to...• Применим другой способ. Это значит, что... - Put the other way around, this means that...• С другой стороны, иногда очень трудно (сформулировать и т. п.)... - On the other hand, it is sometimes very difficult to...• С другой стороны, недавно полученные данные указывают, что... - On the other hand, recent findings indicate that...• С другой стороны, эксперименты показывают, что... - On the other hand, experiments show that...• Следующая теорема дает другое расширение... - The following theorem gives another extension of...• Совершенно другой подход базируется на... - A fundamentally different approach is based on...• Теперь мы переходим к другой проблеме... - We now pass to another problem...• Эти уравнения могут быть решены последовательно одно за другим. - These equations can be solved successively.• Это другой пример (чего-л). - This is another example of... -
14 управление электропитанием
управление электропитанием
-
[Интент]
Управление электропитанием ЦОД
Автор: Жилкина Наталья
Опубликовано 23 апреля 2009 года
Источники бесперебойного питания, функционирующие в ЦОД, составляют важный элемент общей системы его энергообеспечения. Вписываясь в контур управления ЦОД, система мониторинга и управления ИБП становится ядром для реализации эксплуатационных функций.
Три задачи
Системы мониторинга, диагностики и управления питанием нагрузки решают три основные задачи: позволяют ИБП выполнять свои функции, оповещать персонал о происходящих с ними событиях и посылать команды для автоматического завершения работы защищаемого устройства.
Мониторинг параметров ИБП предполагает отображение и протоколирование состояния устройства и всех событий, связанных с его изменением. Диагностика реализуется функциями самотестирования системы. Управляющие же функции предполагают активное вмешательство в логику работы устройства.Многие специалисты этого рынка, отмечая важность процедуры мониторинга, считают, что управление должно быть сведено к минимуму. «Функция управления ИБП тоже нужна, но скорее факультативно, — говорит Сергей Ермаков, технический директор компании Inelt и эксперт в области систем Chloride. — Я глубоко убежден, что решения об активном управляющем вмешательстве в работу систем защиты электропитания ответственной нагрузки должен принимать человек, а не автоматизированная система. Завершение работы современных мощных серверов, на которых функционируют ответственные приложения, — это, как правило, весьма длительный процесс. ИБП зачастую не способны обеспечивать необходимое для него время, не говоря уж о времени запуска какого-то сервиса». Функция же мониторинга позволяет предотвратить наступление нежелательного события — либо, если таковое произошло, проанализировать его причины, опираясь не на слова, а на запротоколированные данные, хранящиеся в памяти адаптера или файлах на рабочей станции мониторинга.
Эту точку зрения поддерживает и Алексей Сарыгин, технический директор компании Radius Group: «Дистанционное управление мощных ИБП — это вопрос, к которому надо подходить чрезвычайно аккуратно. Если функции дистанционного мониторинга и диспетчеризации необходимы, то практика предоставления доступа персоналу к функциям дистанционного управления представляется радикально неверной. Доступность модулей управления извне потенциально несет в себе риск нарушения безопасности и категорически снижает надежность системы. Если существует физическая возможность дистанционно воздействовать на ИБП, на его параметры, отключение, снятие нагрузки, закрытие выходных тиристорных ключей или блокирование цепи байпаса, то это чревато потерей питания всего ЦОД».
Практически на всех трехфазных ИБП предусмотрена кнопка E.P.O. (Emergency Power Off), дублер которой может быть выведен на пульт управления диспетчерской. Она обеспечивает аварийное дистанционное отключение блоков ИБП при наступлении аварийных событий. Это, пожалуй, единственная возможность обесточить нагрузку, питаемую от трехфазного аппарата, но реализуется она в исключительных случаях.
Что же касается диагностики электропитания, то, как отмечает Юрий Копылов, технический директор московского офиса корпорации Eaton, в последнее время характерной тенденцией в управляющем программном обеспечении стал отказ от предоставления функций удаленного тестирования батарей даже системному администратору.
— Адекватно сравнивать состояние батарей необходимо под нагрузкой, — говорит он, — сам тест запускать не чаще чем раз в два дня, а разряжать батареи надо при одном и том же токе и уровне нагрузки. К тому же процесс заряда — довольно долгий. Все это не идет батареям на пользу.Средства мониторинга
Производители ИБП предоставляют, как правило, сразу несколько средств мониторинга и в некоторых случаях даже управления ИБП — все они основаны на трех основных методах.
В первом случае устройство подключается напрямую через интерфейс RS-232 (Com-порт) к консоли администратора. Дальность такого подключения не превышает 15 метров, но может быть увеличена с помощью конверторов RS-232/485 и RS-485/232 на концах провода, связывающего ИБП с консолью администратора. Такой способ обеспечивает низкую скорость обмена информацией и пригоден лишь для топологии «точка — точка».
Второй способ предполагает использование SNMP-адаптера — встроенной или внешней интерфейсной карты, позволяющей из любой точки локальной сети получить информацию об основных параметрах ИБП. В принципе, для доступа к ИБП через SNMP достаточно веб-браузера. Однако для большего комфорта производители оснащают свои системы более развитым графическим интерфейсом, обеспечивающим функции мониторинга и корректного завершения работы. На базе SNMP-протокола функционируют все основные системы мониторинга и управления ИБП, поставляемые штатно или опционально вместе с ИБП.
Стандартные SNMP-адаптеры поддерживают подключение нескольких аналоговых или пороговых устройств — датчик температуры, движения, открытия двери и проч. Интеграция таких устройств в общую систему мониторинга крупного объекта (например, дата-центра) позволяет охватить огромное количество точек наблюдения и отразить эту информацию на экране диспетчера.
Большое удобство предоставляет метод эксплуатационного удаленного контроля T.SERVICE, позволяющий отследить работу оборудования посредством телефонной линии (через модем GSM) или через Интернет (с помощью интерфейса Net Vision путем рассылки e-mail на электронный адрес потребителя). T.SERVICE обеспечивает диагностирование оборудования в режиме реального времени в течение 24 часов в сутки 365 дней в году. ИБП автоматически отправляет в центр технического обслуживания регулярные отчеты или отчеты при обнаружении неисправности. В зависимости от контролируемых параметров могут отправляться уведомления о неправильной эксплуатации (с пользователем связывается опытный специалист и рекомендует выполнить простые операции для предотвращения ухудшения рабочих характеристик оборудования) или о наличии отказа (пользователь информируется о состоянии устройства, а на место установки немедленно отправляется технический специалист).Профессиональное мнение
Наталья Маркина, коммерческий директор представительства компании SOCOMEC
Управляющее ПО фирмы SOCOMEC легко интегрируется в общий контур управления инженерной инфраструктурой ЦОД посредством разнообразных интерфейсов передачи данных ИБП. Установленное в аппаратной или ЦОД оборудование SOCOMEC может дистанционно обмениваться информацией о своих рабочих параметрах с системами централизованного управления и компьютерными сетями посредством сухих контактов, последовательных портов RS232, RS422, RS485, а также через интерфейс MODBUS TCP и GSS.
Интерфейс GSS предназначен для коммуникации с генераторными установками и включает в себя 4 входа (внешние контакты) и 1 выход (60 В). Это позволяет программировать особые процедуры управления, Global Supply System, которые обеспечивают полную совместимость ИБП с генераторными установками.
У компании Socomec имеется широкий выбор интерфейсов и коммуникационного программного обеспечения для установки диалога между ИБП и удаленными системами мониторинга промышленного и компьютерного оборудования. Такие опции связи, как панель дистанционного управления, интерфейс ADC (реконфигурируемые сухие контакты), обеспечивающий ввод и вывод данных при помощи сигналов сухих контактов, интерфейсы последовательной передачи данных RS232, RS422, RS485 по протоколам JBUS/MODBUS, PROFIBUS или DEVICENET, MODBUS TCP (JBUS/MODBUS-туннелирование), интерфейс NET VISION для локальной сети Ethernet, программное обеспечение TOP VISION для выполнения мониторинга с помощью рабочей станции Windows XP PRO — все это позволяет контролировать работу ИБП удобным для пользователя способом.
Весь контроль управления ИБП, ДГУ, контроль окружающей среды сводится в единый диспетчерский пункт посредством протоколов JBUS/MODBUS.
Индустриальный подход
Третий метод основан на использовании высокоскоростной индустриальной интерфейсной шины: CANBus, JBus, MODBus, PROFIBus и проч. Некоторые модели ИБП поддерживают разновидность универсального smart-слота для установки как карточек SNMP, так и интерфейсной шины. Система мониторинга на базе индустриальной шины может быть интегрирована в уже существующую промышленную SCADA-систему контроля и получения данных либо создана как заказное решение на базе многофункциональных стандартных контроллеров с выходом на шину. Промышленная шина через шлюзы передает информацию на удаленный диспетчерский пункт или в систему управления зданием (Building Management System, BMS). В эту систему могут быть интегрированы и контроллеры, управляющие ИБП.
Универсальные SCADA-системы поддерживают датчики и контроллеры широкого перечня производителей, но они недешевы и к тому же неудобны для внесения изменений. Но если подобная система уже функционирует на объекте, то интеграция в нее дополнительных ИБП не представляет труда.
Сергей Ермаков, технический директор компании Inelt, считает, что применение универсальных систем управления на базе промышленных контроллеров нецелесообразно, если используется для мониторинга только ИБП и ДГУ. Один из практичных подходов — создание заказной системы, с удобной для заказчика графической оболочкой и необходимым уровнем детализации — от карты местности до поэтажного плана и погружения в мнемосхему компонентов ИБП.
— ИБП может передавать одинаковое количество информации о своем состоянии и по прямому соединению, и по SNMP, и по Bus-шине, — говорит Сергей Ермаков. — Применение того или иного метода зависит от конкретной задачи и бюджета. Создав первоначально систему UPS Look для мониторинга ИБП, мы интегрировали в нее систему мониторинга ДГУ на основе SNMP-протокола, после чего по желанию одного из заказчиков конвертировали эту систему на промышленную шину Jbus. Новое ПО JSLook для мониторинга неограниченного количества ИБП и ДГУ по протоколу JBus является полнофункциональным средством мониторинга всей системы электроснабжения объекта.Профессиональное мение
Денис Андреев, руководитель департамента ИБП компании Landata
Практически все ИБП Eaton позволяют использовать коммуникационную Web-SNMP плату Connect UPS и датчик EMP (Environmental Monitoring Probe). Такой комплект позволяет в числе прочего осуществлять мониторинг температуры, влажности и состояния пары «сухих» контактов, к которым можно подключить внешние датчики.
Решение Eaton Environmental Rack Monitor представляет собой аналог такой связки, но с существенно более широким функционалом. Внешне эта система мониторинга температуры, влажности и состояния «сухих» контактов выполнена в виде компактного устройства, которое занимает минимум места в шкафу или в помещении.
Благодаря наличию у Eaton Environmental Rack Monitor (ERM) двух выходов датчики температуры или влажности можно разместить в разных точках стойки или помещения. Поскольку каждый из двух датчиков имеет еще по два сухих контакта, с них дополнительно можно принимать сигналы от датчиков задымления, утечки и проч. В центре обработки данных такая недорогая система ERM, состоящая из неограниченного количества датчиков, может транслировать информацию по протоколу SNMP в HTML-страницу и позволяет, не приобретая специального ПО, получить сводную таблицу измеряемых величин через веб-браузер.
Проблему дефицита пространства и высокой плотности размещения оборудования в серверных и ЦОД решают системы распределения питания линейки Eaton eDPU, которые можно установить как внутри стойки, так и на группу стоек.
Все модели этой линейки представляют четыре семейства: системы базового исполнения, системы с индикацией потребляемого тока, с мониторингом (локальным и удаленным, по сети) и управляемые, с возможностью мониторинга и управления электропитанием вплоть до каждой розетки. С помощью этих устройств можно компактным способом увеличить количество розеток в одной стойке, обеспечить контроль уровня тока и напряжения критичной нагрузки.
Контроль уровня потребляемой мощности может осуществляться с высокой степенью детализации, вплоть до сервера, подключенного к конкретной розетке. Это позволяет выяснить, какой сервер перегревается, где вышел из строя вентилятор, блок питания и т. д. Программным образом можно запустить сервер, подключенный к розетке ePDU. Интеграция системы контроля ePDU в платформу управления Eaton находится в процессе реализации.Требование объекта
Как поясняет Олег Письменский, в критичных объектах, таких как ЦОД, можно условно выделить две области контроля и управления. Первая, Grey Space, — это собственно здание и соответствующая система его энергообеспечения и энергораспределения. Вторая, White Space, — непосредственно машинный зал с его системами.
Выбор системы управления энергообеспечением ЦОД определяется типом объекта, требуемым функционалом системы управления и отведенным на эти цели бюджетом. В большинстве случаев кратковременная задержка между наступлением события и получением информации о нем системой мониторинга по SNMP-протоколу допустима. Тем не менее в целом ряде случаев, если характеристики объекта подразумевают непрерывность его функционирования, объект является комплексным и содержит большое количество элементов, требующих контроля и управления в реальном времени, ни одна стандартная система SNMP-мониторинга не обеспечит требуемого функционала. Для таких объектов применяют системы управления real-time, построенные на базе программно-аппаратных комплексов сбора данных, в том числе c функциями Softlogic.
Системы диспетчеризации и управления крупными объектами реализуются SCADA-системами, широкий перечень которых сегодня присутствует на рынке; представлены они и в портфеле решений Schneider Electric. Тип SCADA-системы зависит от класса и размера объекта, от количества его элементов, требующих контроля и управления, от уровня надежности. Частный вид реализации SCADA — это BMS-система(Building Management System).
«Дата-центры с объемом потребляемой мощности до 1,5 МВт и уровнем надежности Tier I, II и, с оговорками, даже Tier III, могут обслуживаться без дополнительной SCADA-системы, — говорит Олег Письменский. — На таких объектах целесообразно применять ISX Central — программно-аппаратный комплекс, использующий SNMP. Если же категория и мощность однозначно предполагают непрерывность управления, в таких случаях оправданна комбинация SNMP- и SCADA-системы. Например, для машинного зала (White Space) применяется ISX Central с возможными расширениями как Change & Capacity Manager, в комбинации со SCADA-системой, управляющей непосредственно объектом (Grey Space)».Профессиональное мнение
Олег Письменский, директор департамента консалтинга APC by Schneider Electric в России и СНГ
Подход APC by Schneider Electric к реализации полномасштабного полноуправляемого и надежного ЦОД изначально был основан на базисных принципах управления ИТ-инфраструктурой в рамках концепции ITIL/ITSM. И история развития системы управления инфраструктурой ЦОД ISX Manager, которая затем интегрировалась с программно-аппаратным комплексом NetBotz и трансформировалась в портал диспетчеризации ISX Central, — лучшее тому доказательство.
Первым итогом поэтапного приближения к намеченной цели стало наращивание функций контроля параметров энергообеспечения. Затем в этот контур подключилась система управления кондиционированием, система контроля параметров окружающей среды. Очередным шагом стало измерение скорости воздуха, влажности, пыли, радиации, интеграция сигналов от камер аудио- и видеонаблюдения, системы управления блоками розеток, завершения работы сервера и т. д.
Эта система не может и не должна отвечать абсолютно всем принципам ITSM, потому что не все они касаются существа поставленной задачи. Но как только в отношении политик и некоторых тактик управления емкостью и изменениями в ЦОД потребовался соответствующий инструментарий — это нашло отражение в расширении функционала ISX Central, который в настоящее время реализуют ПО APC by Schneider Electric Capacity Manager и APC by Schneider Electric Change Manager. С появлением этих двух решений, интегрированных в систему управления реальным объектом, АРС предоставляет возможность службе эксплуатации оптимально планировать изменения количественного и качественного состава оборудования машинного зала — как на ежедневном оперативном уровне, так и на уровне стратегических задач массовых будущих изменений.
Решение APC by Schneider Electric Capacity обеспечивает автоматизированную обработку информации о свободных ресурсах инженерной инфраструктуры, реальном потреблении мощности и пространстве в стойках. Обращаясь к серверу ISX Central, системы APC by Schneider Electric Capacity Manager и APC by Schneider Electric Change Manager оценивают степень загрузки ИБП и систем охлаждения InRow, прогнозируют воздействие предполагаемых изменений и предлагают оптимальное место для установки нового или перестановки имеющегося оборудования. Новые решения позволяют, выявив последствия от предполагаемых изменений, правильно спланировать замену оборудования в ЦОД.
Переход от частного к общему может потребовать интеграции ISX Central в такие, например, порталы управления, как Tivoli или Open View. Возможны и другие сценарии, когда ISX Central вписывается и в SCADA–систему. В этом случае ISX Central выполняет роль диспетчерской настройки, функционал которой распространяется на серверную комнату, но не охватывает целиком периметр объекта.Случай из практики
Решение задачи управления энергообеспечением ЦОД иногда вступает в противоречие с правилами устройств электроустановок (ПУЭ). Может оказаться, что в соответствии с ПУЭ в ряде случаев (например, при компоновке щитов ВРУ) необходимо обеспечить механические блокировки. Однако далеко не всегда это удается сделать. Поэтому такая задача часто требует нетривиального решения.
— В одном из проектов, — вспоминает Алексей Сарыгин, — где система управления включала большое количество точек со взаимными пересечениями блокировок, требовалось не допустить снижения общей надежности системы. В этом случае мы пришли к осознанному компромиссу, сделали систему полуавтоматической. Там, где это было возможно, присутствовали механические блокировки, за пультом дежурной смены были оставлены функции мониторинга и анализа, куда сводились все данные о положении всех автоматов. Но исполнительную часть вывели на отдельную панель управления уже внутри ВРУ, где были расположены подробные пользовательские инструкции по оперативному переключению. Таким образом мы избавились от излишней автоматизации, но постарались минимизировать потери в надежности и защититься от ошибок персонала.
[ http://www.computerra.ru/cio/old/products/infrastructure/421312/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > управление электропитанием
-
15 power management
контроль потребления электроэнергии
контроль энергопотребления
—
[Интент]Тематики
Синонимы
EN
управление электропитанием
-
[Интент]
Управление электропитанием ЦОД
Автор: Жилкина Наталья
Опубликовано 23 апреля 2009 года
Источники бесперебойного питания, функционирующие в ЦОД, составляют важный элемент общей системы его энергообеспечения. Вписываясь в контур управления ЦОД, система мониторинга и управления ИБП становится ядром для реализации эксплуатационных функций.
Три задачи
Системы мониторинга, диагностики и управления питанием нагрузки решают три основные задачи: позволяют ИБП выполнять свои функции, оповещать персонал о происходящих с ними событиях и посылать команды для автоматического завершения работы защищаемого устройства.
Мониторинг параметров ИБП предполагает отображение и протоколирование состояния устройства и всех событий, связанных с его изменением. Диагностика реализуется функциями самотестирования системы. Управляющие же функции предполагают активное вмешательство в логику работы устройства.Многие специалисты этого рынка, отмечая важность процедуры мониторинга, считают, что управление должно быть сведено к минимуму. «Функция управления ИБП тоже нужна, но скорее факультативно, — говорит Сергей Ермаков, технический директор компании Inelt и эксперт в области систем Chloride. — Я глубоко убежден, что решения об активном управляющем вмешательстве в работу систем защиты электропитания ответственной нагрузки должен принимать человек, а не автоматизированная система. Завершение работы современных мощных серверов, на которых функционируют ответственные приложения, — это, как правило, весьма длительный процесс. ИБП зачастую не способны обеспечивать необходимое для него время, не говоря уж о времени запуска какого-то сервиса». Функция же мониторинга позволяет предотвратить наступление нежелательного события — либо, если таковое произошло, проанализировать его причины, опираясь не на слова, а на запротоколированные данные, хранящиеся в памяти адаптера или файлах на рабочей станции мониторинга.
Эту точку зрения поддерживает и Алексей Сарыгин, технический директор компании Radius Group: «Дистанционное управление мощных ИБП — это вопрос, к которому надо подходить чрезвычайно аккуратно. Если функции дистанционного мониторинга и диспетчеризации необходимы, то практика предоставления доступа персоналу к функциям дистанционного управления представляется радикально неверной. Доступность модулей управления извне потенциально несет в себе риск нарушения безопасности и категорически снижает надежность системы. Если существует физическая возможность дистанционно воздействовать на ИБП, на его параметры, отключение, снятие нагрузки, закрытие выходных тиристорных ключей или блокирование цепи байпаса, то это чревато потерей питания всего ЦОД».
Практически на всех трехфазных ИБП предусмотрена кнопка E.P.O. (Emergency Power Off), дублер которой может быть выведен на пульт управления диспетчерской. Она обеспечивает аварийное дистанционное отключение блоков ИБП при наступлении аварийных событий. Это, пожалуй, единственная возможность обесточить нагрузку, питаемую от трехфазного аппарата, но реализуется она в исключительных случаях.
Что же касается диагностики электропитания, то, как отмечает Юрий Копылов, технический директор московского офиса корпорации Eaton, в последнее время характерной тенденцией в управляющем программном обеспечении стал отказ от предоставления функций удаленного тестирования батарей даже системному администратору.
— Адекватно сравнивать состояние батарей необходимо под нагрузкой, — говорит он, — сам тест запускать не чаще чем раз в два дня, а разряжать батареи надо при одном и том же токе и уровне нагрузки. К тому же процесс заряда — довольно долгий. Все это не идет батареям на пользу.Средства мониторинга
Производители ИБП предоставляют, как правило, сразу несколько средств мониторинга и в некоторых случаях даже управления ИБП — все они основаны на трех основных методах.
В первом случае устройство подключается напрямую через интерфейс RS-232 (Com-порт) к консоли администратора. Дальность такого подключения не превышает 15 метров, но может быть увеличена с помощью конверторов RS-232/485 и RS-485/232 на концах провода, связывающего ИБП с консолью администратора. Такой способ обеспечивает низкую скорость обмена информацией и пригоден лишь для топологии «точка — точка».
Второй способ предполагает использование SNMP-адаптера — встроенной или внешней интерфейсной карты, позволяющей из любой точки локальной сети получить информацию об основных параметрах ИБП. В принципе, для доступа к ИБП через SNMP достаточно веб-браузера. Однако для большего комфорта производители оснащают свои системы более развитым графическим интерфейсом, обеспечивающим функции мониторинга и корректного завершения работы. На базе SNMP-протокола функционируют все основные системы мониторинга и управления ИБП, поставляемые штатно или опционально вместе с ИБП.
Стандартные SNMP-адаптеры поддерживают подключение нескольких аналоговых или пороговых устройств — датчик температуры, движения, открытия двери и проч. Интеграция таких устройств в общую систему мониторинга крупного объекта (например, дата-центра) позволяет охватить огромное количество точек наблюдения и отразить эту информацию на экране диспетчера.
Большое удобство предоставляет метод эксплуатационного удаленного контроля T.SERVICE, позволяющий отследить работу оборудования посредством телефонной линии (через модем GSM) или через Интернет (с помощью интерфейса Net Vision путем рассылки e-mail на электронный адрес потребителя). T.SERVICE обеспечивает диагностирование оборудования в режиме реального времени в течение 24 часов в сутки 365 дней в году. ИБП автоматически отправляет в центр технического обслуживания регулярные отчеты или отчеты при обнаружении неисправности. В зависимости от контролируемых параметров могут отправляться уведомления о неправильной эксплуатации (с пользователем связывается опытный специалист и рекомендует выполнить простые операции для предотвращения ухудшения рабочих характеристик оборудования) или о наличии отказа (пользователь информируется о состоянии устройства, а на место установки немедленно отправляется технический специалист).Профессиональное мнение
Наталья Маркина, коммерческий директор представительства компании SOCOMEC
Управляющее ПО фирмы SOCOMEC легко интегрируется в общий контур управления инженерной инфраструктурой ЦОД посредством разнообразных интерфейсов передачи данных ИБП. Установленное в аппаратной или ЦОД оборудование SOCOMEC может дистанционно обмениваться информацией о своих рабочих параметрах с системами централизованного управления и компьютерными сетями посредством сухих контактов, последовательных портов RS232, RS422, RS485, а также через интерфейс MODBUS TCP и GSS.
Интерфейс GSS предназначен для коммуникации с генераторными установками и включает в себя 4 входа (внешние контакты) и 1 выход (60 В). Это позволяет программировать особые процедуры управления, Global Supply System, которые обеспечивают полную совместимость ИБП с генераторными установками.
У компании Socomec имеется широкий выбор интерфейсов и коммуникационного программного обеспечения для установки диалога между ИБП и удаленными системами мониторинга промышленного и компьютерного оборудования. Такие опции связи, как панель дистанционного управления, интерфейс ADC (реконфигурируемые сухие контакты), обеспечивающий ввод и вывод данных при помощи сигналов сухих контактов, интерфейсы последовательной передачи данных RS232, RS422, RS485 по протоколам JBUS/MODBUS, PROFIBUS или DEVICENET, MODBUS TCP (JBUS/MODBUS-туннелирование), интерфейс NET VISION для локальной сети Ethernet, программное обеспечение TOP VISION для выполнения мониторинга с помощью рабочей станции Windows XP PRO — все это позволяет контролировать работу ИБП удобным для пользователя способом.
Весь контроль управления ИБП, ДГУ, контроль окружающей среды сводится в единый диспетчерский пункт посредством протоколов JBUS/MODBUS.
Индустриальный подход
Третий метод основан на использовании высокоскоростной индустриальной интерфейсной шины: CANBus, JBus, MODBus, PROFIBus и проч. Некоторые модели ИБП поддерживают разновидность универсального smart-слота для установки как карточек SNMP, так и интерфейсной шины. Система мониторинга на базе индустриальной шины может быть интегрирована в уже существующую промышленную SCADA-систему контроля и получения данных либо создана как заказное решение на базе многофункциональных стандартных контроллеров с выходом на шину. Промышленная шина через шлюзы передает информацию на удаленный диспетчерский пункт или в систему управления зданием (Building Management System, BMS). В эту систему могут быть интегрированы и контроллеры, управляющие ИБП.
Универсальные SCADA-системы поддерживают датчики и контроллеры широкого перечня производителей, но они недешевы и к тому же неудобны для внесения изменений. Но если подобная система уже функционирует на объекте, то интеграция в нее дополнительных ИБП не представляет труда.
Сергей Ермаков, технический директор компании Inelt, считает, что применение универсальных систем управления на базе промышленных контроллеров нецелесообразно, если используется для мониторинга только ИБП и ДГУ. Один из практичных подходов — создание заказной системы, с удобной для заказчика графической оболочкой и необходимым уровнем детализации — от карты местности до поэтажного плана и погружения в мнемосхему компонентов ИБП.
— ИБП может передавать одинаковое количество информации о своем состоянии и по прямому соединению, и по SNMP, и по Bus-шине, — говорит Сергей Ермаков. — Применение того или иного метода зависит от конкретной задачи и бюджета. Создав первоначально систему UPS Look для мониторинга ИБП, мы интегрировали в нее систему мониторинга ДГУ на основе SNMP-протокола, после чего по желанию одного из заказчиков конвертировали эту систему на промышленную шину Jbus. Новое ПО JSLook для мониторинга неограниченного количества ИБП и ДГУ по протоколу JBus является полнофункциональным средством мониторинга всей системы электроснабжения объекта.Профессиональное мение
Денис Андреев, руководитель департамента ИБП компании Landata
Практически все ИБП Eaton позволяют использовать коммуникационную Web-SNMP плату Connect UPS и датчик EMP (Environmental Monitoring Probe). Такой комплект позволяет в числе прочего осуществлять мониторинг температуры, влажности и состояния пары «сухих» контактов, к которым можно подключить внешние датчики.
Решение Eaton Environmental Rack Monitor представляет собой аналог такой связки, но с существенно более широким функционалом. Внешне эта система мониторинга температуры, влажности и состояния «сухих» контактов выполнена в виде компактного устройства, которое занимает минимум места в шкафу или в помещении.
Благодаря наличию у Eaton Environmental Rack Monitor (ERM) двух выходов датчики температуры или влажности можно разместить в разных точках стойки или помещения. Поскольку каждый из двух датчиков имеет еще по два сухих контакта, с них дополнительно можно принимать сигналы от датчиков задымления, утечки и проч. В центре обработки данных такая недорогая система ERM, состоящая из неограниченного количества датчиков, может транслировать информацию по протоколу SNMP в HTML-страницу и позволяет, не приобретая специального ПО, получить сводную таблицу измеряемых величин через веб-браузер.
Проблему дефицита пространства и высокой плотности размещения оборудования в серверных и ЦОД решают системы распределения питания линейки Eaton eDPU, которые можно установить как внутри стойки, так и на группу стоек.
Все модели этой линейки представляют четыре семейства: системы базового исполнения, системы с индикацией потребляемого тока, с мониторингом (локальным и удаленным, по сети) и управляемые, с возможностью мониторинга и управления электропитанием вплоть до каждой розетки. С помощью этих устройств можно компактным способом увеличить количество розеток в одной стойке, обеспечить контроль уровня тока и напряжения критичной нагрузки.
Контроль уровня потребляемой мощности может осуществляться с высокой степенью детализации, вплоть до сервера, подключенного к конкретной розетке. Это позволяет выяснить, какой сервер перегревается, где вышел из строя вентилятор, блок питания и т. д. Программным образом можно запустить сервер, подключенный к розетке ePDU. Интеграция системы контроля ePDU в платформу управления Eaton находится в процессе реализации.Требование объекта
Как поясняет Олег Письменский, в критичных объектах, таких как ЦОД, можно условно выделить две области контроля и управления. Первая, Grey Space, — это собственно здание и соответствующая система его энергообеспечения и энергораспределения. Вторая, White Space, — непосредственно машинный зал с его системами.
Выбор системы управления энергообеспечением ЦОД определяется типом объекта, требуемым функционалом системы управления и отведенным на эти цели бюджетом. В большинстве случаев кратковременная задержка между наступлением события и получением информации о нем системой мониторинга по SNMP-протоколу допустима. Тем не менее в целом ряде случаев, если характеристики объекта подразумевают непрерывность его функционирования, объект является комплексным и содержит большое количество элементов, требующих контроля и управления в реальном времени, ни одна стандартная система SNMP-мониторинга не обеспечит требуемого функционала. Для таких объектов применяют системы управления real-time, построенные на базе программно-аппаратных комплексов сбора данных, в том числе c функциями Softlogic.
Системы диспетчеризации и управления крупными объектами реализуются SCADA-системами, широкий перечень которых сегодня присутствует на рынке; представлены они и в портфеле решений Schneider Electric. Тип SCADA-системы зависит от класса и размера объекта, от количества его элементов, требующих контроля и управления, от уровня надежности. Частный вид реализации SCADA — это BMS-система(Building Management System).
«Дата-центры с объемом потребляемой мощности до 1,5 МВт и уровнем надежности Tier I, II и, с оговорками, даже Tier III, могут обслуживаться без дополнительной SCADA-системы, — говорит Олег Письменский. — На таких объектах целесообразно применять ISX Central — программно-аппаратный комплекс, использующий SNMP. Если же категория и мощность однозначно предполагают непрерывность управления, в таких случаях оправданна комбинация SNMP- и SCADA-системы. Например, для машинного зала (White Space) применяется ISX Central с возможными расширениями как Change & Capacity Manager, в комбинации со SCADA-системой, управляющей непосредственно объектом (Grey Space)».Профессиональное мнение
Олег Письменский, директор департамента консалтинга APC by Schneider Electric в России и СНГ
Подход APC by Schneider Electric к реализации полномасштабного полноуправляемого и надежного ЦОД изначально был основан на базисных принципах управления ИТ-инфраструктурой в рамках концепции ITIL/ITSM. И история развития системы управления инфраструктурой ЦОД ISX Manager, которая затем интегрировалась с программно-аппаратным комплексом NetBotz и трансформировалась в портал диспетчеризации ISX Central, — лучшее тому доказательство.
Первым итогом поэтапного приближения к намеченной цели стало наращивание функций контроля параметров энергообеспечения. Затем в этот контур подключилась система управления кондиционированием, система контроля параметров окружающей среды. Очередным шагом стало измерение скорости воздуха, влажности, пыли, радиации, интеграция сигналов от камер аудио- и видеонаблюдения, системы управления блоками розеток, завершения работы сервера и т. д.
Эта система не может и не должна отвечать абсолютно всем принципам ITSM, потому что не все они касаются существа поставленной задачи. Но как только в отношении политик и некоторых тактик управления емкостью и изменениями в ЦОД потребовался соответствующий инструментарий — это нашло отражение в расширении функционала ISX Central, который в настоящее время реализуют ПО APC by Schneider Electric Capacity Manager и APC by Schneider Electric Change Manager. С появлением этих двух решений, интегрированных в систему управления реальным объектом, АРС предоставляет возможность службе эксплуатации оптимально планировать изменения количественного и качественного состава оборудования машинного зала — как на ежедневном оперативном уровне, так и на уровне стратегических задач массовых будущих изменений.
Решение APC by Schneider Electric Capacity обеспечивает автоматизированную обработку информации о свободных ресурсах инженерной инфраструктуры, реальном потреблении мощности и пространстве в стойках. Обращаясь к серверу ISX Central, системы APC by Schneider Electric Capacity Manager и APC by Schneider Electric Change Manager оценивают степень загрузки ИБП и систем охлаждения InRow, прогнозируют воздействие предполагаемых изменений и предлагают оптимальное место для установки нового или перестановки имеющегося оборудования. Новые решения позволяют, выявив последствия от предполагаемых изменений, правильно спланировать замену оборудования в ЦОД.
Переход от частного к общему может потребовать интеграции ISX Central в такие, например, порталы управления, как Tivoli или Open View. Возможны и другие сценарии, когда ISX Central вписывается и в SCADA–систему. В этом случае ISX Central выполняет роль диспетчерской настройки, функционал которой распространяется на серверную комнату, но не охватывает целиком периметр объекта.Случай из практики
Решение задачи управления энергообеспечением ЦОД иногда вступает в противоречие с правилами устройств электроустановок (ПУЭ). Может оказаться, что в соответствии с ПУЭ в ряде случаев (например, при компоновке щитов ВРУ) необходимо обеспечить механические блокировки. Однако далеко не всегда это удается сделать. Поэтому такая задача часто требует нетривиального решения.
— В одном из проектов, — вспоминает Алексей Сарыгин, — где система управления включала большое количество точек со взаимными пересечениями блокировок, требовалось не допустить снижения общей надежности системы. В этом случае мы пришли к осознанному компромиссу, сделали систему полуавтоматической. Там, где это было возможно, присутствовали механические блокировки, за пультом дежурной смены были оставлены функции мониторинга и анализа, куда сводились все данные о положении всех автоматов. Но исполнительную часть вывели на отдельную панель управления уже внутри ВРУ, где были расположены подробные пользовательские инструкции по оперативному переключению. Таким образом мы избавились от излишней автоматизации, но постарались минимизировать потери в надежности и защититься от ошибок персонала.
[ http://www.computerra.ru/cio/old/products/infrastructure/421312/]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > power management
-
16 образ
image, form, manner, way, transform, pattern• Более общего типа результат формулируется следующим образом. - The following is a more general result of the same kind.• Выбирая подходящим образом х и у, мы можем (получить и т. п.)... - By suitable choice of x and у it is possible to...• Еще раз, выбирая подходящим образом L, мы можем... - Again, by making a suitable choice of L, we can...• Задача формулируется следующим образом. - The problem is specified as follows.• Из анализа соотношения (1) очевидным образом следует, что... - It is evident from inspection of (1) that...• Метод, приведенный в этом параграфе, подобным образом может быть применен к... - The method of sections may be applied in a similar way to...• Мы моделируем ситуацию следующим образом. - We model the situation as follows.• Мы можем взглянуть на эту ситуацию с более общей точки зрения следующим образом. - We can look at this situation in general terms as follows.• Мы можем выразить это более формально следующим образом. - A more formal way of saying this is as follows.• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы можем получить данный результат следующим образом. - We can obtain the result as follows.• Наилучшим образом проблема исследуется с использованием теории... - The problem is best approached through the theory of...• Объяснить это наилучшим образом можно с помощью примеров. - This is best made clear by means of examples.• Они (= результаты и т. п. ) должны пониматься следующим образом. - They are to be understood as follows.• Подобные образы ценны как концептуальная помощь, если только мы не... - Such pictures are valuable as conceptual aids so long as we do not...• Подобным образом можно было бы спросить, действительно ли... - In a similar way, one may ask whether...• Подобным образом можно показать, что... - In like manner it can be shown that...• Подобным образом мы легко можем выписать уравнение... - In the same way we can easily write down the equation of...• Подобным образом мы можем... - In this manner we can... I• Подобным образом мы можем определить... - We can, in a similar way, define...• Подобным образом мы определяем (= вводим)... - Likewise, we define...• Подытожим это следующим образом. - This we summarize by saying that...(= оставшиеся) члены, мы получаем... - Transforming the remaining terms in a similar manner, we obtain...• Различные члены из соотношения (4) интерпретируются следующим образом. - The various terms in (4) are interpreted as follows.• Действуя подобным образом, мы можем выразить... - Following a similar procedure, we may express...• Точно таким же образом можно показать, что... - It can be shown by an exactly similar process that...• Таким образом, важно узнать основные свойства... - Thus, it is important to understand the basic properties of...• Таким образом, возможно выразить F в терминах... - It is therefore possible to express F in terms of...• Таким образом, данный результат доказан. - The result is therefore established.• Таким образом, имеется близкая аналогия между... и.... - There is thus a close analogy between... and....• Таким образом, мы можем обобщить результаты из первого параграфа и сообщить, что... - Thus, we can generalize the results of Section 1 and state that...• Таким образом, мы подготовили (все) для... - In this way the stage was set for...• Таким образом, мы получаем выражения... - In this way we obtain the expressions...• Таким образом, мы пренебрегаем различием между... - We thus ignore the distinction between...• Таким образом, наша задача сводится к вычислению... - Our problem becomes, therefore, one of evaluating...• Таким образом, наше обсуждение свелось к(= ограничилось)... - Thus far our discussion has been limited to...• Таким образом, проблема становится задачей выбора... - The problem thus becomes one of choosing...• Таким образом, теорема может быть переформулирована следующим образом. - Thus the theorem can be rephrased as follows.• То же самое можно сказать еще следующим образом:... - Another way of putting it is that...• Чтобы упорядочить все эти идеи нужным образом, мы... - In order to place these ideas in their proper framework, we...• Эти константы должны быть выбраны таким образом, чтобы... - These constants must be chosen in such a manner that...• Эти результаты можно очевидным образом обобщить (на случай и т. п.)... - These results can be extended in an obvious way to...• Это достигается следующим образом. - This is achieved as follows.• Это естественным образом приводило к различным схемам для... - It led naturally to various schemes for...• Это могло бы быть сделано следующим образом. - This may be done as follows.• Это могло бы быть формально выражено следующим образом. - This may be expressed formally as follows.• Это может быть получено следующим образом. - This can be obtained as follows.• Это можно доказать следующим образом. - This may be proved as follows.• Это обозначение распространяется обычным образом на... - This notation is extended in an obvious manner for...• Это очевидным образом вытекает из того факта, что... - This is clearly borne out by the fact that...• Это строится следующим образом. - It is constructed as follows.• Этот метод очевидным образом может быть распространен на (случай)... - This process can clearly be extended to... -
17 свидетельство
Русско-английский научно-технический словарь переводчика > свидетельство
-
18 простейший
(см. также простой) simplest• В простейшей конфигурации должно быть... - The simplest arrangement is to have...• К сожалению, за исключением простейших случаев, довольно трудно (получить и т. п.)... - With the exception of the simplest cases it is, unfortunately, rather difficult to...• Один из простейших способов это... - One of the simplest ways is to...• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простейшее разумное предположение состоит в том, что... - The simplest reasonable assumption is that...• Простейшей интерпретацией этого феномена является то, что... - The simplest interpretation of this phenomenon is that...• Простейший пример этого дается... - The simplest example of this is given by...• Простейший пример предоставляется (чем-л). - The simplest example is furnished by...; The simplest example is afforded by...• Простейший пример такой ситуации дается специальным случаем... - The simplest example of such a situation is the special case of...• Простейшим объяснением (всех) этих фактов является... - The simplest explanation for these facts is...• Простейшим примером подобной операции является... - The simplest example of such an operation is...• Простейшим случаем является тот, когда/где... - The simplest case is that in which...• Следующим простейшим случаем является тот, в котором... - The next simplest case is that in which...• Среди простейших из них имеется (следующий)... - Among the simplest of these is...• Такая связь является простейшей в случае... - This connection is simplest in the case of... -
19 ряд
series (ряды - series), row, line, sequence, a number of, a range of• Вскоре мы рассмотрим ряд приложений. - We will soon consider a number of applications.• Данным методом можно решить ряд практически важных задач - This method enables us to solve several problems of practical importance.• Для получения... был использован ряд методов. - A number of methods have been used to obtain...• Для этого имеется ряд причин. - There are a number of reasons for this.• Доказательство... представим в виде ряда из семи лемм... - The proof of Theorem 2.1 is arranged as a series of seven Lemmas (Lemma 2.1 to Lemma 2.7).• Из теоремы 1 мы легко выводим ряд важных следствий. - From Theorem l we easily deduce a number of important consequences.• Имеется ряд способов, которыми... - There are a number of ways in which.,.• На основании ряда физических соображений он установил, что... - Не established, on several physical grounds, that...• Поэтому мы должны добавить ряд дополнительных условий. - Consequently we have to add a number of supplementary conditions.• Стэйн и Вейс ввели ряд новых идей. - Stein and Weiss introduced a number of new ideas.• Эта терминология использовалась рядом авторов. - This terminology has been used by a number of writers. -
20 вдобавок
(= дополнительно) in addition (to), besides, as well, over and above, moreover• Вдобавок имеется одна фундаментальная причина для рассмотрения... - There is, in fact, one basic reason for considering...• Вдобавок можно доказать, что... - In fact it can be proved that...• Вдобавок мы можем заметить, как следствие соотношения (1), что... - Incidentally we may notice, as a consequence of (1), that...• Вдобавок, справедливо гораздо большее, чем это. - In fact, much more than this is true.• Вдобавок, они способны... - They are furthermore capable of...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...
- 1
- 2
См. также в других словарях:
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… … Большая советская энциклопедия
КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО — понятие логики (см. Умозаключение апагогическое). Философский энциклопедический словарь. 2010. КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО … Философская энциклопедия
Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… … Энциклопедия инвестора
Вопрос существования Бога — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ — уравнение вида где F заданная действительная функция точки х=(xt, ..., х п )области Dевклидова пространства Е п, и действительных переменных (и(х) неизвестная функция) с неотрицательными целочисленными индексами i1 ,..., in, k=0, ..., т, по… … Математическая энциклопедия
Финляндия* — Содержание: I. Физический очерк. II. Население. III. Экономический обзор. IV. Финансы. V. Управление и судоустройство. VI. Финские войска и воинская повинность. VII. Образование. VIII. Наука, искусство, печать и общественная жизнь. IX. Церковь. X … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Финляндия — I Содержание [Историю Финляндии, историю литературы, язык и мифологию см. соотв. разделы.]. I. Физический очерк. II. Население. III. Экономический обзор. IV. Финансы. V. Управление и судоустройство. VI. Финские войска и воинская повинность. VII.… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Курбский, князь Андрей Михайлович — боярин и воевода, писатель, род. в 1528 г., ум. в 1583 г. В первый раз имя кн. Курбского встречается в 1549 г., когда он сопровождал царя Иоанна IV в Казанский поход в звании стольника, и находился в есаулах вместе с братом царицы Анастасии… … Большая биографическая энциклопедия
ОСВЕЩЕНИЕ — ОСВЕЩЕНИЕ. Различают естественное и искусственное О. Естественным называют О. от природных источников, гл.обр. от солнца, причем солнечные лучи могут освещать непосредственно, или отражаясь от луны, рассеиваясь в атмосфере, на облаках, на… … Большая медицинская энциклопедия
Христианство — всемирная религия, первая в настоящее время по числу последователей (около 494 милл.) и по культурно историч. значению своему и принявших ее народов, признающая себя откровением Единого в Троице Истинного Бога, Творца и Промыслителя вселенной,… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
